TALOS TECHNOLOGY SUMMARY

1. Base Types

agent
angled-gears
angled-blower
box
connector
crossing  ;a crossing is where two beams intersect
edge  ;a finite-height vertical surface separating elevations; blocks walking like a wall but is not vaultable
fan
floor-gears
floor-blower
floor-repeater
gate
gun
hue
jammer
ladder
location
mode
pressure-plate
receiver
recorder
screen
toggle-plate
transmitter
tray
wall
wall-gears
wall-blower
wall-repeater
window

2. Composite Types

apparatus (either transmitter receiver floor-repeater wall-repeater gun)
beam-blocker (either agent box jammer connector)
los-endpoint (either transmitter receiver floor-repeater wall-repeater gun location)
beam-node (either transmitter receiver floor-repeater wall-repeater location)
cargo (either box jammer connector fan tray)
elevated-object (either location gate screen wall edge transmitter receiver gun wall-gears wall-blower floor-repeater wall-repeater)
fixed-beam-source (either transmitter floor-repeater wall-repeater)
fixed-beam-sink (either floor-repeater wall-repeater receiver)
fixed-position-object (either pressure-plate toggle-plate ladder floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower recorder)
gears (either floor-gears wall-gears angled-gears)
blower (either floor-blower wall-blower angled-blower)
heighted-object (either box gate agent screen wall edge jammer connector floor-repeater wall-repeater)
mobile-object (either agent box jammer connector fan tray)
plate (either pressure-plate toggle-plate)
relay (either connector floor-repeater wall-repeater)
repeater (either floor-repeater wall-repeater)
steppable-object (either pressure-plate toggle-plate fan floor-blower angled-blower)
support (either pressure-plate toggle-plate box fan floor-blower angled-blower)
support-occupant (either agent box jammer connector fan tray)
target (either gate floor-gears wall-gears floor-blower wall-blower gun)
terminus (either transmitter receiver connector floor-repeater wall-repeater)
threat (either gun)
vaultable-object (either gate screen wall)
visibility-object (either gate transmitter receiver floor-repeater wall-repeater gun location)

3. Dynamic Relations

(active receiver)
(blowing (either fan floor-blower wall-blower angled-blower))
(color relay $hue)
(crossing-active crossing)
(depressed plate)
(has-location mobile-object $location)
(holding agent $cargo)
(jamming jammer $target)
(lethal threat)
(mounted-on fan $gears)
(on support-occupant $support)
(open gate)
(paired connector terminus)  ;undirected; stored connector-first
(turning (either floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower))

4. Static Relations

(aimed-at (either floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower) $location)
(apparatus-coords> (either transmitter receiver floor-repeater wall-repeater gun) $rational $rational)
(beam-crossing> crossing $los-endpoint $los-endpoint $los-endpoint $los-endpoint)
(beam-via fixed-beam-source $list fixed-beam-sink)
(boundary-wall $list)  ;axis-aligned point list, explicitly closed by repeating the first point; used by LOS and walk-via derivation
(climb-via> location $list location)
(controls $list (either gate floor-gears wall-gears angled-gears floor-blower wall-blower angled-blower gun) $mode)
(coupled fixed-beam-source fixed-beam-sink)  ;directional; fixed couplings unlimited
(crossings-along-beam> los-endpoint $list los-endpoint)
(beam-crossings-before-gate> los-endpoint $list gate los-endpoint)
(current-beam-crossings $list)
(edge-segment> edge $rational $rational $rational $rational)
(gate-segment> gate $rational $rational $rational $rational)
(has-chroma (either transmitter receiver) $hue)
(has-elevation elevated-object $rational)
(has-height heighted-object $rational)
(has-position fixed-position-object $location)
(jam-disallowed> location location target)
(jump-via location $list location)
(jump-via> location $list location)
(location-coords> location $rational $rational)
(los-to-apparatus location $list apparatus)
(los-to-location location $list location)
(los-to-target location $list gate)
(los-barrier-crossings> los-endpoint $list visibility-object)  ;directed records (:kind identity parameter x1 y1 x2 y2), including fixed couplings and gate targets
(reach-via location $list location)
(screen-segment> screen $rational $rational $rational $rational)
(stairs-via location $list location)
(stairs-via> location $list location)
(stream-width (either wall-gears wall-blower) $rational)  ;default 3 units
(threatens threat location)
(walk-via location $list location)
(walk-via> location $list location)
(wall-segment> wall $rational $rational $rational $rational)
(window-segment> window $rational $rational $rational $rational)

5. Actions

(connect-connector ">" ?agent "connects" $connector "at" ?location "on" $place "to" $termini)
(jam-target ">" ?agent "jams" ?target "with" $any-jammer "at" ?location "on" $place)
(mount-fan ">" ?agent "mounts" ?fan "on" ?gears "at" $g-location)
(move ">" ?agent "moves via" $route)
(pickup-box ">" ?agent "picks up" ?box "at" $box-location "from" $a-location)
(pickup-connector ">" ?agent "picks up" ?connector "at" $a-location)
(pickup-fan ">" ?agent "picks up" ?fan "at" $fan-location "from" $a-location)
(pickup-jammer ">" ?agent "picks up" ?jammer "at" $a-location)
(pickup-tray ">" ?agent "picks up" ?tray "at" $tray-location "from" $a-location)
(put-box ">" ?agent "puts" ?box "on" $place "at" ?location)
(put-connector ">" ?agent "puts" ?connector "at" ?location "on" $place "without pairings")
(put-fan ">" ?agent "puts" ?fan "on" $place "at" ?location)
(put-jammer ">" ?agent "puts" ?jammer "on" $place "at" ?location "without jamming")
(put-tray ">" ?agent "puts" ?tray "on" $place "at" ?location)

6. Default Type Heights

agent 3/2
box 1
connector 1
edge 3/2
gate 4
jammer 1
repeater 1
screen 4
wall 4
boundary-wall 6  ;LOS-only default; a boundary-wall polygon has no named object for has-height

7. Default Type Elevations

floor-repeater 0 (base; beam anchor = base + height)
receiver 1
transmitter 1
wall-repeater 1

8. Tunable Defaults (DEFVAR/DEFPARAMETER, overridable per problem)

*beam-occlusion-tolerance* 1/2  ;tech/-beam-los-coordinates.lisp; max perpendicular distance a location may sit off a beam's line and still count as a candidate occluder
*vertical-reach-limit* 1  ;tech/-support-elevation.lisp; max elevation gap an agent can act across vertically -- reaching to pick up or place cargo above or below its own elevation, or jumping up onto a higher support or clearing a barrier -- independent of the agent's own declared height; jump.lisp reuses this parameter rather than defining its own
